Fix xentrace build.
authorKeir Fraser <keir@xensource.com>
Mon, 24 Sep 2007 14:29:09 +0000 (15:29 +0100)
committerKeir Fraser <keir@xensource.com>
Mon, 24 Sep 2007 14:29:09 +0000 (15:29 +0100)
Signed-off-by: Keir Fraser <keir@xensource.com>
tools/xentrace/xentrace.c

index 7c858b7702d7d4dd4d011deb82516340833c6663..fdb5d5e57f89b5c201f6fd6915c5ef3a9ca1dc80 100644 (file)
@@ -121,7 +121,7 @@ void write_buffer(unsigned int cpu, unsigned char *start, int size,
 
         if ( written != sizeof(rec) )
         {
-            fprintf(stderr, "Cannot write cpu change (write returned %d)\n",
+            fprintf(stderr, "Cannot write cpu change (write returned %zd)\n",
                     written);
             goto fail;
         }
@@ -130,7 +130,7 @@ void write_buffer(unsigned int cpu, unsigned char *start, int size,
     written = write(outfd, start, size);
     if ( written != size )
     {
-        fprintf(stderr, "Write failed! (size %d, returned %d)\n",
+        fprintf(stderr, "Write failed! (size %d, returned %zd)\n",
                 size, written);
         goto fail;
     }